<!DOCTYPE html>
<html lang="en">
<head>
	<meta charset="utf-8">
	<meta http-equiv="X-UA-Compatible" content="IE=edge">
	<meta name="viewport" content="width=device-width, initial-scale=1">

	<title>svaunit
API Specification</title>

	<meta name="author" content="">
	<meta name="description" content="svaunit API Specification">
	<meta name="generator" content="Specador. Copyright (C) 2005-2015 AMIQ EDA ">
	<meta name="keywords" content="SystemVerilog, HTML Documentation, Specador, AMIQ EDA, svaunit API Specification">

	<link href="lib/bootstrap/css/bootstrap.css" rel="stylesheet">
	<link href="css/content.css" rel="stylesheet">
	<link href="css/custom.css" rel="stylesheet">
</head>
<body>

	<div class="container-fluid">
<!-- ========= Title ======= -->
<h2>class      		<a href="summary-svaunit_pkg.html">svaunit_pkg</a>
:: svaunit_concurrent_assertion_details
</h2>


<!-- ========= Top Buttons ======= -->
		<br>
		<div class="btn-group">
				
	<button data-scroll=#constructor type="button" class="btn btn-default">Constructor <span class="badge">1</span></button>
	<button data-scroll=#typedefs type="button" class="btn btn-default">Typedefs <span class="badge">1</span></button>
	
	
	<button data-scroll=#variables type="button" class="btn btn-default">Variables <span class="badge">1</span></button>
	
	<button data-scroll=#functions type="button" class="btn btn-default">Functions <span class="badge">22</span></button>
	

	<button data-scroll=#inheritance_diagram type="button" class="btn btn-default">Inheritance Diagram</button>
	<button data-scroll=#collaboration_diagram type="button" class="btn btn-default">Collaboration Diagram</button>
	<button data-scroll=#direct_associations_diagram type="button" class="btn btn-default">Direct Associations Diagram</button>

		</div>
		<br><br>

<!-- ========= Inheritance Tree ======= -->

<!-- ========= Description ======= -->
	<pre class="comment">SVA details class - it contains SVA start time, SVA end time, the states and the test where the SVA was tested<br></pre>

<!-- ========= Parameters ======= -->

<!-- ========= Constructor ======= -->
	<div class="panel panel-default">
		<div class="panel-heading" data-toggle="collapse" data-target="#constructor">
			<h4 class="panel-title">
					Constructor <span class="glyphicon glyphicon-chevron-down"></span>
			</h4>
		</div>
					<ul id="constructor" class="list-group panel-collapse collapse in">
					<li class="list-group-item">
						<a name="constructor_new"></a>
						<span class="signature">

	 function 	

	<b>		new
</b>(	string
name = "svaunit_concurrent_assertion_details")


						</span>
	<pre class="comment">Constructor for an svaunit_concurrent_assertion_details<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>name</b>   : instance name for svaunit_concurrent_assertion_details object<br></pre>

					</li>
			</ul>

	</div>

<!-- ========= Typedefs ======= -->
	<div class="panel panel-default">
		<div class="panel-heading" data-toggle="collapse" data-target="#typedefs">
			<h4 class="panel-title">
					Typedefs <span class="glyphicon glyphicon-chevron-down"></span>
			</h4>
		</div>
					<ul id="typedefs" class="list-group panel-collapse collapse in">
					<li class="list-group-item">
						<a name="typedef_type_id"></a>
						<span class="signature">

	 <b>		type_id
</b>

		-> uvm_object_registry#(svaunit_concurrent_assertion_details, "svaunit_concurrent_assertion_details")
	


						</span>

					</li>
			</ul>

	</div>

<!-- ========= Structs ======= -->

<!-- ========= Enums ======= -->

<!-- ========= Variables ======= -->
	<div class="panel panel-default">
		<div class="panel-heading" data-toggle="collapse" data-target="#variables">
			<h4 class="panel-title">
					Variables <span class="glyphicon glyphicon-chevron-down"></span>
			</h4>
		</div>
					<ul id="variables" class="list-group panel-collapse collapse in">
					<li class="list-group-item">
						<a name="variable_type_name"></a>
						<span class="signature">

const static 	string
 <b>		type_name
</b>


						</span>

					</li>
			</ul>

	</div>

<!-- ========= Constraints ======= -->

<!-- ========= Functions ======= -->
	<div class="panel panel-default">
		<div class="panel-heading" data-toggle="collapse" data-target="#functions">
			<h4 class="panel-title">
					Functions <span class="glyphicon glyphicon-chevron-down"></span>
			</h4>
		</div>
					<ul id="functions" class="list-group panel-collapse collapse in">
					<li class="list-group-item">
						<a name="function___m_uvm_field_automation"></a>
						<span class="signature">

	virtual  function 	void

	<b>		__m_uvm_field_automation
</b>(	uvm_object
tmp_data__,
	int
what__,
	string
str__)


						</span>

					</li>
					<li class="list-group-item">
						<a name="function_add_sva_state"></a>
						<span class="signature">

	virtual  function 	void

	<b>		add_sva_state
</b>(	<a href="svaunit_pkg-svaunit_concurrent_assertion_state_type.html">svaunit_concurrent_assertion_state_type</a>
a_state)


						</span>
	<pre class="comment">Add a state for the current attempt of the assertion<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_state</b> : SVA state to be added<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_create"></a>
						<span class="signature">

	virtual  function 	uvm_object

	<b>		create
</b>(	string
name = "")


						</span>

					</li>
					<li class="list-group-item">
						<a name="function_create_new_detail"></a>
						<span class="signature">

	virtual  function 	void

	<b>		create_new_detail
</b>(			ref 	string
a_test_name,
			ref 	<a href="svaunit_pkg-svaunit_concurrent_assertion_state_type.html">svaunit_concurrent_assertion_state_type</a>
a_sva_state,
			ref 	time
a_sva_time_start,
			ref 	time
a_sva_time_end)


						</span>
	<pre class="comment">Create new detail for an SVA<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : test name where this attempt was found<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_state</b> : SVA state to be added<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_time_start</b> : SVA start time to be added<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_time_end</b> : SVA end time to be added<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_get_object_type"></a>
						<span class="signature">

	virtual  function 	uvm_object_wrapper

	<b>		get_object_type
</b>()


						</span>

					</li>
					<li class="list-group-item">
						<a name="function_get_sva_details"></a>
						<span class="signature">

	virtual  function 	string

	<b>		get_sva_details
</b>(			ref 	string
a_test_name)


						</span>
	<pre class="comment">Print the SVA details for a given test name<br><br><b>Returns:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;a string with all SVA details<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : test name from where the user want's to print SVA info<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_get_sva_end_time"></a>
						<span class="signature">

	virtual  function 	time

	<b>		get_sva_end_time
</b>()


						</span>
	<pre class="comment">Get the end time of the current SVA attempt<br><br><b>Returns:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;the end time of the current SVA attempt<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_get_sva_first_state"></a>
						<span class="signature">

	virtual  function 	<a href="svaunit_pkg-svaunit_concurrent_assertion_state_type.html">svaunit_concurrent_assertion_state_type</a>

	<b>		get_sva_first_state
</b>()


						</span>
	<pre class="comment">Get the first state of the current attempt of the SVA<br><br><b>Returns:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;the first state of the current attempt of the SVA<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_get_sva_last_state"></a>
						<span class="signature">

	virtual  function 	<a href="svaunit_pkg-svaunit_concurrent_assertion_state_type.html">svaunit_concurrent_assertion_state_type</a>

	<b>		get_sva_last_state
</b>()


						</span>
	<pre class="comment">Get the end state of the current attempt of the SVA<br><br><b>Returns:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;the end state of the current attempt of the SVA<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_get_sva_start_time"></a>
						<span class="signature">

	virtual  function 	time

	<b>		get_sva_start_time
</b>()


						</span>
	<pre class="comment">Get the start time of the current SVA attempt<br><br><b>Returns:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;the start time of the current SVA attempt<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_get_type"></a>
						<span class="signature">

	static  function 	<a href="svaunit_pkg-svaunit_concurrent_assertion_details.html#typedef_type_id">type_id</a>

	<b>		get_type
</b>()


						</span>

					</li>
					<li class="list-group-item">
						<a name="function_get_type_name"></a>
						<span class="signature">

	virtual  function 	string

	<b>		get_type_name
</b>()


						</span>

					</li>
					<li class="list-group-item">
						<a name="function_set_sva_end_time"></a>
						<span class="signature">

	virtual  function 	void

	<b>		set_sva_end_time
</b>(	time
a_sva_end_time)


						</span>
	<pre class="comment">Set end time for the current attempt of SVA<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_end_time</b> : current end time<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_set_sva_start_time"></a>
						<span class="signature">

	virtual  function 	void

	<b>		set_sva_start_time
</b>(	time
a_sva_start_time)


						</span>
	<pre class="comment">Set start time for the current attempt of SVA<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_start_time</b> : current start time<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_set_sva_test_name"></a>
						<span class="signature">

	virtual  function 	void

	<b>		set_sva_test_name
</b>(			ref 	string
a_test_name)


						</span>
	<pre class="comment">Set test name for the current attempt of SVA<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the current test name<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_sva_failed"></a>
						<span class="signature">

	virtual  function 	bit

	<b>		sva_failed
</b>()


						</span>
	<pre class="comment">Verify if current SVA attempt has failed - one of it's state should be FAILURE<br><br><b>Returns:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;1 if SVA attempt has failed or 0 otherwise<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_sva_first_state_not_start"></a>
						<span class="signature">

	virtual  function 	bit

	<b>		sva_first_state_not_start
</b>()


						</span>
	<pre class="comment">Verify if the first state is not START<br><br><b>Returns:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;1 if the first state of the current SVA attempt is not START or 0 otherwise<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_sva_has_started_but_has_not_finished"></a>
						<span class="signature">

	virtual  function 	bit

	<b>		sva_has_started_but_has_not_finished
</b>()


						</span>
	<pre class="comment">Verify if current SVA attempt has started but has not finished<br><br><b>Returns:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;1 if SVA attempt has started but has not finished or 0 otherwise<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_sva_is_finished"></a>
						<span class="signature">

	virtual  function 	bit

	<b>		sva_is_finished
</b>()


						</span>
	<pre class="comment">Verify if the current SVA attempt is finished<br><br><b>Returns:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;1 if SVA has finished and 0 otherwise<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_sva_is_not_finished"></a>
						<span class="signature">

	virtual  function 	bit

	<b>		sva_is_not_finished
</b>()


						</span>
	<pre class="comment">Verify if the current SVA is not finished<br><br><b>Returns:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;1 if SVA has not finished and 0 otherwise<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_sva_started"></a>
						<span class="signature">

	virtual  function 	bit

	<b>		sva_started
</b>()


						</span>
	<pre class="comment">Verify if current SVA attempt has started - the first state should be START<br><br><b>Returns:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;1 if SVA attempt has started or 0 otherwise<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_sva_succeeded"></a>
						<span class="signature">

	virtual  function 	bit

	<b>		sva_succeeded
</b>()


						</span>
	<pre class="comment">Verify if current SVA attempt has succeeded - one of it's state should be SUCCESS<br><br><b>Returns:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;1 if SVA attempt has finished with success or 0 otherwise<br></pre>

					</li>
			</ul>

	</div>

<!-- ========= Tasks ======= -->

<!-- ========= Diagrams ======= -->
	<div class="panel panel-default">
		<div class="panel-heading" data-toggle="collapse" data-target="#inheritance_diagram">
			<h4 class="panel-title">
					Inheritance Diagram <span class="glyphicon glyphicon-chevron-right"></span>
			</h4>
		</div>
				<ul id="inheritance_diagram" class="list-group panel-collapse collapse">
			<img src="svaunit_pkg-svaunit_concurrent_assertion_details_inheritance.png" border="0" usemap="#_inheritance_diagram" />
			<map name="_inheritance_diagram">
<area shape="rect" id="node1" href="svaunit_pkg-svaunit_concurrent_assertion_details.html"  alt="" coords="384,5,752,35">
<area shape="rect" id="node2"  alt="" coords="185,5,303,35">
<area shape="poly" id="edge1"  alt="" coords="384,23,317,23,317,17,384,17">
<area shape="rect" id="node3"  alt="" coords="5,5,104,35">
<area shape="poly" id="edge2"  alt="" coords="185,23,118,23,118,17,185,17"></map>
			<br><a href="vlog-legend-classes.html"><span class="label label-primary">Legend</span></a><br>
		</ul>

	</div>

	<div class="panel panel-default">
		<div class="panel-heading" data-toggle="collapse" data-target="#collaboration_diagram">
			<h4 class="panel-title">
					Collaboration Diagram <span class="glyphicon glyphicon-chevron-right"></span>
			</h4>
		</div>
				<ul id="collaboration_diagram" class="list-group panel-collapse collapse">
			<img src="svaunit_pkg-svaunit_concurrent_assertion_details_collaboration.png" border="0" usemap="#_collaboration_diagram" />
			<map name="_collaboration_diagram">
<area shape="rect" id="node1" href="svaunit_pkg-svaunit_concurrent_assertion_details.html"  alt="" coords="215,379,583,410">
<area shape="rect" id="node2"  alt="" coords="339,286,458,317">
<area shape="poly" id="edge1"  alt="" coords="396,380,396,330,401,330,401,380">
<area shape="rect" id="node3"  alt="" coords="48,193,147,223">
<area shape="poly" id="edge2"  alt="" coords="339,301,216,291,159,280,120,264,109,251,101,237,106,235,113,248,123,259,160,275,216,285,339,296">
<area shape="rect" id="node4"  alt="" coords="293,193,507,223">
<area shape="poly" id="edge4"  alt="" coords="339,299,275,293,211,283,167,269,156,259,159,246,178,233,206,224,278,212,279,217,208,229,180,238,164,250,161,257,169,265,213,278,275,288,339,294">
<area shape="poly" id="edge5"  alt="" coords="402,223,402,273,396,273,397,223">
<area shape="rect" id="node5"  alt="" coords="319,6,486,37">
<area shape="poly" id="edge6"  alt="" coords="398,193,400,50,405,50,403,193">
<area shape="rect" id="node6"  alt="" coords="74,99,211,130">
<area shape="poly" id="edge7"  alt="" coords="292,198,247,187,204,170,182,157,163,141,167,137,185,153,207,166,249,182,293,193">
<area shape="rect" id="node8"  alt="" coords="235,99,354,130">
<area shape="poly" id="edge10"  alt="" coords="344,196,324,185,306,170,294,144,299,142,310,166,327,181,347,191">
<area shape="rect" id="node9"  alt="" coords="495,99,633,130">
<area shape="poly" id="edge12"  alt="" coords="412,191,435,172,463,152,507,132,509,136,465,157,438,176,416,195">
<area shape="rect" id="node10"  alt="" coords="657,99,785,130">
<area shape="poly" id="edge14"  alt="" coords="456,191,554,165,667,131,669,136,555,171,457,196">
<area shape="poly" id="edge17"  alt="" coords="448,220,475,237,482,249,478,263,459,282,456,278,474,260,476,250,472,241,446,225">
<area shape="rect" id="node7"  alt="" coords="5,6,142,37">
<area shape="poly" id="edge8"  alt="" coords="102,102,86,91,72,76,68,63,66,50,72,49,73,62,77,73,89,87,105,98">
<area shape="poly" id="edge9"  alt="" coords="161,98,194,78,234,59,309,36,311,42,236,64,197,82,164,102">
<area shape="poly" id="edge11"  alt="" coords="295,99,301,79,314,59,341,40,344,44,318,63,306,81,300,101">
<area shape="poly" id="edge3"  alt="" coords="634,125,656,136,673,153,687,183,686,211,674,238,651,263,621,279,576,290,472,300,471,295,575,284,619,274,648,259,669,235,681,210,681,184,668,156,652,141,632,130">
<area shape="poly" id="edge13"  alt="" coords="538,102,493,77,437,45,439,40,496,72,541,97">
<area shape="rect" id="node11"  alt="" coords="629,6,814,37">
<area shape="poly" id="edge15"  alt="" coords="719,100,719,50,724,50,724,100">
<area shape="poly" id="edge16"  alt="" coords="682,102,562,64,475,42,477,37,563,59,684,97"></map>
			<br><a href="vlog-legend-classes.html"><span class="label label-primary">Legend</span></a><br>
		</ul>

	</div>

	<div class="panel panel-default">
		<div class="panel-heading" data-toggle="collapse" data-target="#direct_associations_diagram">
			<h4 class="panel-title">
					Direct Associations Diagram <span class="glyphicon glyphicon-chevron-right"></span>
			</h4>
		</div>
				<ul id="direct_associations_diagram" class="list-group panel-collapse collapse">
			<img src="svaunit_pkg-svaunit_concurrent_assertion_details_direct_associations.png" border="0" usemap="#_direct_associations_diagram" />
			<map name="_direct_associations_diagram">
<area shape="rect" id="node1" href="svaunit_pkg-svaunit_concurrent_assertion_details.html"  alt="" coords="5,5,373,35"></map>
			<br><a href="vlog-legend-classes.html"><span class="label label-primary">Legend</span></a><br>
		</ul>

	</div>

<!-- ========= Generated From ======= -->
		<hr>Generated from: <a href="../../sv/svaunit_concurrent_assertion_details.svh">svaunit_concurrent_assertion_details.svh</a>


	</div>

	<div class="footer">
		<hr><p class="text-center">Generated  on Fri Nov 20 17:10:42 EET 2015 using <a href="http://www.dvteclipse.com/" target="_new">Specador<sup>TM</sup></a> Version 15.1.32</p>
    </div>

	<script src="lib/jquery/js/jquery.js"></script>
	<script src="lib/jquery/js/jquery.scrollUp.js"></script>
	<script src="lib/bootstrap/js/bootstrap.js"></script>
	<script src="js/content.js"></script>
	<script src="js/custom.js"></script>

	</body>
</html>


